f6bfd75b703aa199d2ef7e956d5ec7422a507d85,src/com/vaadin/terminal/gwt/client/ui/VView.java,VView,sendClientResized,#,494
Before Change
*/
private void sendClientResized() {
connection.updateVariable(id, "height", height, false);
connection.updateVariable(id, "width", width, immediate);
}
public native static void goTo(String url)
After Change
int newViewWidth = getElement().getClientWidth();
// Send the view dimensions if they have changed
if (newViewHeight != viewHeight || newViewWidth != viewWidth) {
viewHeight = newViewHeight;
viewWidth = newViewWidth;
connection.updateVariable(id, "height", newViewHeight, false);
connection.updateVariable(id, "width", newViewWidth, immediate);
}
}